Modeling language

Results: 3143



#Item
161Computing / Software engineering / Theoretical computer science / Formal methods / Logic in computer science / Java Modeling Language / Java platform / Static program analysis / ESC/Java / Hoare logic / Assertion / Modeling language

Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-01-20 18:21:25
162Software engineering / Unified Modeling Language / Computing / Data modeling / ISO standards / Object Process Methodology / Process management / Project management / Diagram / Class diagram / Modeling language / Working memory

Comprehensibility of UML-B: A series of controlled experiments Rozilawati Razali, Colin F. Snook, Michael R. Poppleton, Paul W. Garratt Dependable Systems and Software Engineering, School of Electronics and Computer Scie

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2007-09-18 09:10:42
163Cloud infrastructure / Standards organizations / Object Management Group / Unified Modeling Language / Cloud computing / Technology

Cloud Standards Customer Council Releases Whitepaper on Public Cloud Service Agreements

Add to Reading List

Source URL: www.cloud-council.org

Language: English - Date: 2016-05-20 10:34:35
164Software engineering / Agile software development / Software requirements / Software project management / Systems Modeling Language / Unified Modeling Language / Use case

Use case document: Location, sharing of data Giuseppe Conti, Leonardo Plotegher, Stefano Piffer, Irene Facchin Trilogis Srl, Italy Use case 1: Long Term Care (LTC) scenario The user of this UC is a very old person whose

Add to Reading List

Source URL: external.opengeospatial.org

Language: English - Date: 2015-10-08 06:43:53
165Software engineering / Workflow technology / Computing / Software requirements / Business Process Execution Language / Process management / Business Process Model and Notation / Scenario / Simulation / Business process modeling / Requirement

ABCD Meeting Introduction to Savara Testable Architecture January 2014 Scribble Open Source Project

Add to Reading List

Source URL: groups.inf.ed.ac.uk

Language: English - Date: 2014-01-09 09:07:23
166Linguistics / Grammar / Information science / Categorical data / Language modeling / Probabilistic latent semantic analysis / Statistical natural language processing / Argument / Cosine similarity / Expert witness / Focus / Topic and comment

Expert-Guided Contrastive Opinion Summarization for Controversial Issues Jinlong Guo1 Yujie Lu2

Add to Reading List

Source URL: cirss.lis.illinois.edu

Language: English - Date: 2015-05-15 14:32:12
167Data modeling / Language / Typography / Writing / HTML / HTML element / Paragraph / Table / Row

Notification of upcoming Changes to the schema’s (XSD) of the CPC Scheme and Definitions Activation date: 01 November 2016 Contents

Add to Reading List

Source URL: www.cooperativepatentclassification.org

Language: English - Date: 2016-05-31 09:56:45
168Software engineering / Computing / Systems engineering / Project management / Formal methods / Unified Modeling Language / Modeling language / Domain-specific language / Software development / Model-driven engineering / Computer programming / Requirement

Modern model-based development approach for embedded systems Practical Experience Sergey Vinogradov Artem Ozhigin Corporate Technology, Research and Technology Center

Add to Reading List

Source URL: mbeddr.com

Language: English - Date: 2016-08-09 05:22:44
169Semantic Web / Web services / Computing / World Wide Web / Semantic Web service / WSMO / Service layer / Ontology / Service-oriented architecture / Modeling language / OWL-S / Communications protocol

Microsoft Word - SBN_ws-final-SESAdoc

Add to Reading List

Source URL: www.heppnetz.de

Language: English - Date: 2007-10-30 21:11:36
UPDATE